Epistemic GDL: A logic for representing and reasoning about imperfect information games

نویسندگان

چکیده

This paper proposes a logical framework for representing and reasoning about imperfect information games. We first extend Game Description Language (GDL) with the standard epistemic operators provide it semantics based on state transition model. then demonstrate how to use language represent rules of an game formalize common properties as well properties. also show reason players' own each others' knowledge during playing. Furthermore, we prove that model-checking problem is in Δ2P, even though its lower bound Θ2P. These results indicate makes good balance between expressive power computational efficiency. Finally sound complete axiomatic system this logic. With action, temporal operators, completeness proof requires novel combination techniques used dynamic logic logics. The theory provides feasible tool analyze family

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games

This paper proposes a logical framework for representing and reasoning about imperfect information games. We first extend the game description language (GDL) with the standard epistemic operators and provide it with a semantics based on the epistemic state transition model. We then demonstrate how to use the language to represent the rules of an imperfect information game and formalize its epis...

متن کامل

Reasoning about Imperfect Information Games in the Epistemic Situation Calculus

Approaches to reasoning about knowledge in imperfect information games typically involve an exhaustive description of the game, the dynamics characterized by a tree and the incompleteness in knowledge by information sets. Such specifications depend on a modeler’s intuition, are tedious to draft and vague on where the knowledge comes from. Also, formalisms proposed so far are essentially proposi...

متن کامل

Representing and Reasoning About the Rules of General Games With Imperfect Information

A general game player is a system that can play previously unknown games just by being given their rules. For this purpose, the Game Description Language (GDL) has been developed as a high-level knowledge representation formalism to communicate game rules to players. In this paper, we address a fundamental limitation of state-of-the-art methods and systems for General Game Playing, namely, thei...

متن کامل

Reasoning about Dynamic Epistemic Logic

We present an algebra and sequent calculus to reason about dynamic epistemic logic, a logic for information update in multi-agent systems. We contribute to it by equipping it with a logical account of resources, a semi-automatic way of reasoning through the algebra and sequent calculus, and finally by generalizing it to non-boolean settings. Dynamic Epistemic Logic (DEL) is a PDL-style logic [1...

متن کامل

Reasoning About General Games Described in GDL-II

Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learning—without human intervention—to play such games poses a reasoning challenge for general game-playing systems that is much more intricate than in case of complete information games. Action formalisms like the Situation Calculus have been developed fo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Artificial Intelligence

سال: 2021

ISSN: ['2633-1403']

DOI: https://doi.org/10.1016/j.artint.2021.103453